Câu ví dụ
- Don't use the predicate calculus if you want to avoid needless formalism.
Đừng bao giờ bỏ qua việc tính toán trước chi phi xây dựng nếu bạn không muốn mắc phải hiện tượng chi trội không cần thiết. - Symbolic logic has two main branches: propositional calculus and predicate calculus, which are also called propositional logic and predicate logic.
Lôgích ký hiệu thường được phân thành hai ngành phụ, propositional logic (trước đây gọi là propositional calculus) and predicate logic (trước đây gọi là predicate calculus).
